F. Honsell: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Die zivilrechtliche Sanktion der Sittenwidrigkeit

HEINRICH HONSELL

Journal:

JuristenZeitung

Year:

1975

Language:

german

File:

PDF, 778 KB

german, 1975

2

Autonomous vehicle front lighting systems

Wallaschek, Jörg, Honsel, Hendrik, Kleinkes, Michael

Journal:

International Journal of Vehicle Autonomous Systems

Year:

2012

Language:

english

File:

PDF, 1.08 MB

english, 2012

3

Studien im Römischen Recht. Max Kaser zum 65. Geburtstagby Dieter Medicus; Hans Hermann Seiler

Review by: Heinrich Honsell

Journal:

Archiv fuer die civilistische Praxis

Year:

1975

Language:

german

File:

PDF, 538 KB

german, 1975

4

Frontiers of Fundamental Physics || BLACK HOLES AND THE INFORMATION PARADOX

SIDHARTH, B.G., HONSELL, F., DE ANGELIS, A.

Year:

2006

File:

PDF, 84 KB

2006

5

Integration of trap- and root-derived nitrogen nutrition of carnivorous Dionaea muscipula

Gao, Peng, Loeffler, Theresa Sofi, Honsel, Anne, Kruse, Jörg, Krol, Elzbieta, Scherzer, Sönke, Kreuzer, Ines, Bemm, Felix, Buegger, Franz, Burzlaff, Tim, Hedrich, Rainer, Rennenberg, Heinz

Journal:

New Phytologist

Year:

2015

Language:

english

File:

PDF, 977 KB

english, 2015

6

Kommentar zum UN-Kaufrecht || Übereinkommen der Vereinten Nationen über Verträge über den internationalen Warenkauf

Honsell, Heinrich

Year:

2010

File:

PDF, 549 KB

2010

7

Reinhard Zimmermann, Richterliches Moderationsrecht oder Totalnichtigkeit? Die rechtliche Behandlung anstößig-übermäßiger Verträge

Honsell, Heinrich

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1981

Language:

german

File:

PDF, 265 KB

german, 1981

8

Das periculum nominis im Dotalrecht

Honsell, Heinrich

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1966

Language:

german

File:

PDF, 384 KB

german, 1966

9

III. Gemeinwohl und öffentliches Interesse im klassischen römischen Recht

Honsell, Thomas

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1978

Language:

german

File:

PDF, 1.56 MB

german, 1978

10

Hans-Heinrich Stühler, Die Diskussion um die Erneuerung der Rechtswissenschaft von 1780–1815

Honsell, Thomas

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1979

Language:

german

File:

PDF, 311 KB

german, 1979

11

Einige Bemerkungen zum Diskussionsentwurf eines Schuldrechtsmodernisierungsgesetzes

Heinrich Honsell

Journal:

JuristenZeitung

Year:

2001

Language:

german

File:

PDF, 900 KB

german, 2001

12

[AIP FRONTIERS OF FUNDAMENTAL AND COMPUTATIONAL PHYSICS: 9th International Symposium - Udine and Trieste (Italy) (7–9 January 2008)] AIP Conference Proceedings - Multiparticle Quantum Cosmology

Glinka, L. A., Sidharth, B. G., Honsell, F., Mansutti, O., Sreenivasan, K., De Angelis, A.

Year:

2008

Language:

english

File:

PDF, 822 KB

english, 2008

13

COMPARISON OF THE AXIOMS OF LOCAL AND GLOBAL UNIVERSALITY

Marco Forti, Furio Honsell

Journal:

Mathematical Logic Quarterly

Year:

1984

Language:

english

File:

PDF, 244 KB

english, 1984

14

Compositional characterisations of -terms using intersection types

M. Dezani-Ciancaglini, F. Honsell, Y. Motohama

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 594 KB

english, 2005

15

Editorial

Furio Honsell, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 105 KB

english, 2006

16

A framework for defining logics

Harper, Robert, Honsell, Furio, Plotkin, Gordon

Journal:

Journal of the ACM

Year:

1993

Language:

english

File:

PDF, 2.56 MB

english, 1993

17

Das Prinzip der Naturairestitution in § 249 BGB - Herkunft, historische Entwicklung und Bedeutung (Schriften zur Rechtsgeschichte, Bd. 36)by Udo Wolter

Review by: Heinrich Honsell

Journal:

Archiv fuer die civilistische Praxis

Year:

1986

Language:

german

File:

PDF, 271 KB

german, 1986

18

Privatautonomie und Wohnungsmiete

Heinrich Honsell

Journal:

Archiv fuer die civilistische Praxis

Year:

1986

Language:

german

File:

PDF, 5.08 MB

german, 1986

19

Development of Ductile Iron Material, Simulation and Production Technology to Locally Strengthen Castings

Menk, Werner, Tunzini, Sabine, Rieck, Torsten, Honsel, Christoph, Weiss, Konrad

Journal:

Key Engineering Materials

Year:

2010

Language:

english

File:

PDF, 2.26 MB

english, 2010

20

Kommentar zum UN-Kaufrecht ||

Honsell, Heinrich

Year:

2010

Language:

german

File:

PDF, 7.37 MB

german, 2010

21

Jus Commune, Veröffentlichungen des Max-Planck-Instituts für Rechtsgeschichte, Bd. VIII, Vorträge zum 200. Geburtstag von F. C. von Savigny, Hrsg. H. Coing

Honsell, Thomas

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1981

Language:

german

File:

PDF, 342 KB

german, 1981

22

Satura Roberto Feenstra oblata, Hg. J. A. Ankum, J. E. Spruit, F. B. J. Wubbe

Honsell, Thomas

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1988

Language:

german

File:

PDF, 134 KB

german, 1988

23

Anke Leineweber, Die rechtliche Beziehung des nichtehelichen Kindes zu seinem Erzeuger in der Geschichte des Privatrechts

Honsell, Thomas

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1980

Language:

german

File:

PDF, 221 KB

german, 1980

24

A complete characterization of complete intersection-type preorders

Dezani-Ciancaglini, M., Honsell, F., Alessi, F.

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 236 KB

english, 2003

25

Maior Viginti Quinqué Annis, Essays in commemoration of the sixth lustrum of the Institute for Legal History of the University of Utrecht, ed. J. E. Spruit

Honsell, Thomas

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1980

Language:

german

File:

PDF, 179 KB

german, 1980

26

De iustitia et iure, Festgabe für Ulrich von Lübtow zum 80. Geburtstag, hg. von Manfred Harder und Georg Thielmann

Honsell, Thomas

Journal:

Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Romanistische Abteilung

Year:

1982

Language:

german

File:

PDF, 294 KB

german, 1982

27

Sondertagung der Zivilrechtslehrervereinigung am 30./31. März 2001 in Berlin || [Grußwort]

Heinrich Honsell

Journal:

JuristenZeitung

Year:

2001

File:

PDF, 239 KB

2001

28

[AIP FRONTIERS OF FUNDAMENTAL AND COMPUTATIONAL PHYSICS: 9th International Symposium - Udine and Trieste (Italy) (7–9 January 2008)] AIP Conference Proceedings - Is Quantum Mechanics the Whole Truth?

Leggett, Sir Anthony J., Sidharth, B. G., Honsell, F., Mansutti, O., Sreenivasan, K., De Angelis, A.

Year:

2008

Language:

english

File:

PDF, 140 KB

english, 2008

29

[AIP FRONTIERS OF FUNDAMENTAL AND COMPUTATIONAL PHYSICS: 9th International Symposium - Udine and Trieste (Italy) (7–9 January 2008)] AIP Conference Proceedings - Superfluid Helium Three: The First Unconventional BCS States

Osheroff, Douglas D., Sidharth, B. G., Honsell, F., Mansutti, O., Sreenivasan, K., De Angelis, A.

Year:

2008

Language:

english

File:

PDF, 715 KB

english, 2008

30

Social robots as cultural objects: The sixth dimension of dynamicity?

Fortunati, Leopoldina, Sarrica, Mauro, Ferrin, Giovanni, Brondi, Sonia, Honsell, Furio

Journal:

The Information Society

Year:

2018

Language:

english

File:

PDF, 641 KB

english, 2018

31

[AIP FRONTIERS OF FUNDAMENTAL AND COMPUTATIONAL PHYSICS: 9th International Symposium - Udine and Trieste (Italy) (7–9 January 2008)] AIP Conference Proceedings - Quantum Information and Wave Function Collapse

Mayburov, S. N., Sidharth, B. G., Honsell, F., Mansutti, O., Sreenivasan, K., De Angelis, A.

Year:

2008

Language:

english

File:

PDF, 242 KB

english, 2008

32

Plugging-in proof development environments using Locks in LF

HONSELL, FURIO, LIQUORI, LUIGI, MAKSIMOVIĆ, PETAR, SCAGNETTO, IVAN

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 549 KB

english, 2018

33

A Model where Cardinal Ordering is Universal

Marco Forti, Furio Honsell

Journal:

Mathematical Logic Quarterly

Year:

1985

Language:

english

File:

PDF, 253 KB

english, 1985

34

An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus

Furio Honsell, Simonetta Ronchi Della Rocca

Journal:

Journal of Computer and System Sciences

Year:

1992

Language:

english

File:

PDF, 1.28 MB

english, 1992

35

Choice principles in hyperuniverses

Marco Forti, Furio Honsell

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 1.17 MB

english, 1996

36

Preface

Furio Honsell, Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 72 KB

english, 2004

37

Functors Determined by Values on Objects

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 320 KB

english, 2006

38

Modeling Fresh Names in the π-calculus Using Abstractions

Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 347 KB

english, 2004

39

Coalgebraic Description of Generalized Binary Methods

Furio Honsell, Marina Lenisa, Rekha Redamalla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 231 KB

english, 2006

40

A Framework for Defining Logical Frameworks

Furio Honsell, Marina Lenisa, Luigi Liquori

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 704 KB

english, 2007

41

A type assignment system for game semantics

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 454 KB

english, 2008

42

Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52

Marco Forti, Furio Honsell

Journal:

Annals of Pure and Applied Logic

Year:

1998

Language:

english

File:

PDF, 257 KB

english, 1998

43

π-calculus in (Co)inductive-type theory

Furio Honsell, Marino Miculan, Ivan Scagnetto

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 312 KB

english, 2001

44

A category of compositional domain-models for separable Stone spaces

Fabio Alessi, Paolo Baldan, Furio Honsell

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 463 KB

english, 2003

45

Preface

Furio Honsell, Marino Miculan

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 59 KB

english, 2003

46

Semantical analysis of perpetual strategies in λ-calculus

Furio Honsell, Marina Lenisa

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.81 MB

english, 1999

47

Factors controlling trophic conditions in the North-West Adriatic basin: Seasonal variability

P. Giordani, S. Miserocchi, V. Balboni, A. Malaguti, R. Lorenzelli, G. Honsell, P. Poniz

Journal:

Marine Chemistry

Year:

1997

Language:

english

File:

PDF, 886 KB

english, 1997

48

Generalized Coiteration Schemata

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 234 KB

english, 2003

49

Coalgebraic Coinduction in (Hyper)set-theoretic Categories

Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.45 MB

2000

50

Using typed lambda calculus to implement formal systems on a machine

Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 1.91 MB

english, 1992

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски